| 1. Identity statement | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | marte2.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 8JMKD3MGP6W34M/3PSM3BH |
| Repository | sid.inpe.br/marte2/2017/10.27.13.51.24 |
| Last Update | 2017:10.27.13.51.24 (UTC) administrator |
| Metadata Repository | sid.inpe.br/marte2/2017/10.27.13.51.25 |
| Metadata Last Update | 2018:06.06.03.08.52 (UTC) administrator |
| ISBN | 978-85-17-00088-1 |
| Label | 59599 |
| Citation Key | MacielVinCamMauAss:2017:SpInLo |
| Title | STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data  |
| Format | Internet |
| Year | 2017 |
| Access Date | 2024, May 18 |
| Secondary Type | PRE CN |
| Number of Files | 1 |
| Size | 3329 KiB |
| 2. Context | |
| Author | 1 Maciel, Adeline Marinho 2 Vinhas, Lubia 3 Camara, Gilberto 4 Maus, Victor Wegner 5 Assis, Luiz Fernando Ferreira Gomes de |
| Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHM4 3 8JMKD3MGP5W/3C9JHB8 |
| Group | 1 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR 2 DIDPI-CGOBT-INPE-MCTIC-GOV-BR 3 DIDPI-CGOBT-INPE-MCTIC-GOV-BR |
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Author e-Mail Address | 1 adeline.maciel@inpe.br |
| Editor | Gherardi, Douglas Francisco Marcolino Aragão, Luiz Eduardo Oliveira e Cruz de |
| e-Mail Address | daniela.seki@inpe.br |
| Conference Name | Simpósio Brasileiro de Sensoriamento Remoto, 18 (SBSR) |
| Conference Location | Santos |
| Date | 28-31 maio 2017 |
| Publisher | Instituto Nacional de Pesquisas Espaciais (INPE) |
| Publisher City | São José dos Campos |
| Pages | 4558-4565 |
| Book Title | Anais |
| Organization | Instituto Nacional de Pesquisas Espaciais (INPE) |
| History (UTC) | 2017-10-27 13:51:25 :: banon -> administrator :: 2017-10-30 16:17:43 :: administrator -> banon :: 2017 2017-12-14 18:05:17 :: banon -> administrator :: 2017 2018-06-06 03:08:52 :: administrator -> simone :: 2017 |
| 3. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Abstract | Although several studies perform time series analysis using remote sensing data provided by Earth observation satellites, few have been explored concerning the reasoning about land use change using these data. Besides, exists the challenge of make the best use of big Earth observation data sets to represent change. In this context, this work presents a new formalism - STILF (Spatiotemporal Interval Logic Formalism), and shows how to use it for reasoning about land use change using big Earth observation data. Extending the ideas from Allens interval temporal logic, we introduce predicates holds(o, p, t) and occur(o, p, Te) to build a general framework to reason about events. Events can be defined as complete entities on their respective time intervals and their lifetime is limited while objects persist in time, with a defined begin and end. Since events are intrinsically related to the objects they modify, a geospatial event formalism should specify not only what happens, but also which objects are affected by such changes. The formalism proposed and predicates extended from Allens ideas can model and capture changes using big Earth observation data, and also allows reasoning about land use trajectories in regional or global areas. Examples for tropical forest area application is presented to better understand our proposal using STILF. For the future, the proposed formalism will be include other temporal analysis tools to thinking about events related the land use and cover change. |
| Area | SRE |
| Type | Paisagens naturais |
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSR > SBSR 18 > STILF - A... |
| Arrangement 2 | Projeto Memória 60... > Livros e livros editados > SBSR 18 > STILF - A... |
| Arrangement 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDPI > STILF - A... |
| Arrangement 4 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > STILF - A... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| data URL | http://marte2.sid.inpe.br/ibi/8JMKD3MGP6W34M/3PSM3BH |
| zipped data URL | http://marte2.sid.inpe.br/zip/8JMKD3MGP6W34M/3PSM3BH |
| Language | en |
| Target File | 59599.pdf |
| User Group | banon |
| Visibility | shown |
| Update Permission | not transferred |
| 5. Allied materials | |
| Mirror Repository | urlib.net/www/2011/03.29.20.55 |
| Next Higher Units | 8JMKD3MGP6W34M/3PMFNUS 8JMKD3MGPCW/3EQCCU5 8JMKD3MGPCW/3F2PHGS |
| Citing Item List | sid.inpe.br/bibdigital/2013/09.09.15.05 2 sid.inpe.br/mtc-m21/2012/07.13.14.53.44 2 sid.inpe.br/marte2/2017/09.25.14.55 2 |
| Host Collection | dpi.inpe.br/marte2/2013/05.17.15.03.06 |
| 6. Notes | |
| Empty Fields | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition issn keywords lineage mark nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype url versiontype volume |
| 7. Description control | |
| e-Mail (login) | simone |
| update | |